]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
Merge branch 'master' of gitlab.gnome.org:GNOME/gnome-shell
authorVictor Ibragimov <victor.ibragimov@gmail.com>
Wed, 13 Mar 2019 16:40:31 +0000 (21:40 +0500)
committerVictor Ibragimov <victor.ibragimov@gmail.com>
Wed, 13 Mar 2019 16:40:31 +0000 (21:40 +0500)

Trivial merge